DSet\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$s$:PosetSig\{i\}$\mid$ IsEqFun($\mid$$s$$\mid$;=$_{b}$$s$)\}